Peles, Doron: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Towards a Constitutional Counter-Revolution in Israel?

Doron Navot, Yoav Peled

Journal:

Year:

2009

Language:

english

File:

PDF, 130 KB

english, 2009

2

Heapranase role in the treatment of avascular necrosis of femur head

Peled, Eli, Davis, Matthew, Axelman, Elena, Norman, Doron, Nadir, Yona

Journal:

Thrombosis Research

Year:

2013

Language:

english

File:

PDF, 1.88 MB

english, 2013

3

First-order temporal logic monitoring with BDDs

Havelund, Klaus, Peled, Doron, Ulus, Dogan

Journal:

Formal Methods in System Design

Year:

2019

Language:

english

File:

PDF, 1.13 MB

english, 2019

4

Treatment of Graf’s Ultrasound Class III and IV Hips Using Pavlik’s Method

Eli Peled, Viktor Bialik, Alexander Katzman, Mark Eidelman, Doron Norman

Journal:

Clinical Orthopaedics and Related Research®

Year:

2008

Language:

english

File:

PDF, 139 KB

english, 2008

5

Recurrent episodes of micturition with expulsion of symphyseal plate screws following pelvic ring fixation: case report

Peled, Eli, Norman, Doron, Kakiashvili, David, Henley, M. Bradford

Journal:

BMC Musculoskeletal Disorders

Year:

2015

Language:

english

File:

PDF, 1009 KB

english, 2015

6

A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors

Huang, Chung-Hao, Peled, Doron A., Schewe, Sven, Wang, Farn

Journal:

IEEE Transactions on Software Engineering

Year:

2015

Language:

english

File:

PDF, 425 KB

english, 2015

7

Introduction: Special Issue on Partial Order in Formal Methods

Journal:

Formal Methods in System Design

Year:

2005

Language:

english

File:

PDF, 79 KB

english, 2005

8

Interleaving set temporal logic

Shmuel Katz, Doron Peled

Journal:

Theoretical Computer Science

Year:

1990

Language:

english

File:

PDF, 3.28 MB

english, 1990

9

A compositional framework for fault tolerance by specification transformation

Doron Peled, Mathai Joseph

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 2.09 MB

english, 1994

10

Modulation Transfer Function of a Lens Measured with a Random Target Method

Levy, Eli, Peles, Doron, Opher-Lipson, Michal, Lipson, Stephen G.

Journal:

Year:

1999

Language:

english

File:

PDF, 163 KB

english, 1999

11

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 9938 || Symbolic Model Checking for Factored Probabilistic Models

Artho, Cyrille, Legay, Axel, Peled, Doron

Year:

2016

Language:

english

File:

PDF, 345 KB

english, 2016

12

Efficient model checking for LTL with partial order snapshots

Peter Niebert, Doron Peled

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 631 KB

english, 2009

13

Model checking, testing and verification working together

Elsa Gunter, Doron Peled

Journal:

Formal Aspects of Computing

Year:

2005

Language:

english

File:

PDF, 201 KB

english, 2005

14

[Texts in Computer Science] Software Reliability Methods ||

Peled, Doron A.

Year:

2001

Language:

english

File:

PDF, 30.64 MB

english, 2001

15

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 9938 || Certified Symbolic Execution

Artho, Cyrille, Legay, Axel, Peled, Doron

Year:

2016

Language:

english

File:

PDF, 393 KB

english, 2016

16

[IEEE 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) - Porto, Portugal (2018.4.10-2018.4.13)] 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) - DejaVu: A Monitoring Tool for First-Order Temporal Logic

Havelund, Klaus, Peled, Doron, Ulus, Dogan

Year:

2018

Language:

english

File:

PDF, 101 KB

english, 2018

17

Design tools for requirements engineering

Gerard J. Holzmann, Doron A. Peled, Margaret H. Redberg

Journal:

Bell Labs Technical Journal

Year:

1997

Language:

english

File:

PDF, 143 KB

english, 1997

18

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1633 || Deciding Equality Formulas by Small Domains Instantiations

Halbwachs, Nicolas, Peled, Doron

Year:

1999

Language:

english

File:

PDF, 757 KB

english, 1999

19

Stutter-invariant temporal properties are expressible without the next-time operator

Doron Peled, Thomas Wilke

Journal:

Information Processing Letters

Year:

1997

Language:

english

File:

PDF, 330 KB

english, 1997

20

On projective and separable properties

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.61 MB

english, 1997

21

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || Range Allocation for Separation Logic

Alur, Rajeev, Peled, Doron A.

Year:

2004

Language:

english

File:

PDF, 267 KB

english, 2004

22

[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Sytems — FORTE 2002 Volume 2529 || Modelling SIP Services Using Cress

Peled, Doron A., Vardi, Moshe Y.

Year:

2002

Language:

english

File:

PDF, 413 KB

english, 2002

23

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || WSAT: A Tool for Formal Analysis of Web Services

Alur, Rajeev, Peled, Doron A.

Year:

2004

Language:

english

File:

PDF, 165 KB

english, 2004

24

Compositional message sequence charts

Elsa L. Gunter, Anca Muscholl, Doron Peled

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2003

Language:

english

File:

PDF, 367 KB

english, 2003

25

d-Xylose absorption test

Y. Peled, O. Doron, H. Laufer, Y. Bujanover, T. Gilat

Journal:

Digestive Diseases and Sciences

Year:

1991

Language:

english

File:

PDF, 416 KB

english, 1991

26

PREFACE

PELED, DORON A., TSAY, YIH-KUEN

Journal:

International Journal of Foundations of Computer Science

Year:

2007

Language:

english

File:

PDF, 161 KB

english, 2007

27

An algorithmic approach for checking closure properties of temporal logic specifications and ω-regular languages

Doron Peled, Thomas Wilke, Pierre Wolper

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 1.47 MB

english, 1998

28

[IEEE 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) - Cambridge, United Kingdom (2011.07.11-2011.07.13)] Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) - Efficient deadlock detection for concurrent systems

Bensalem, Saddek, Griesmayer, Andreas, Legay, Axel, Nguyen, Thanh-Hung, Peled, Doron

Year:

2011

Language:

english

File:

PDF, 755 KB

english, 2011

29

ENFORCING CONCURRENT TEMPORAL BEHAVIORS

PELED, DORON, QU, HONGYANG

Journal:

International Journal of Foundations of Computer Science

Year:

2006

Language:

english

File:

PDF, 1.11 MB

english, 2006

30

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 9938 || Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems

Artho, Cyrille, Legay, Axel, Peled, Doron

Year:

2016

Language:

english

File:

PDF, 484 KB

english, 2016

31

Prevention of distortion of vascular deprivation-induced osteonecrosis of the rat femoral head by treatment with alendronate

Eli Peled, Jacob Bejar, Chaim Zinman, Jochanan H. Boss, Daniel N. Reis, Doron Norman

Journal:

Archives of Orthopaedic and Trauma Surgery

Year:

2009

Language:

english

File:

PDF, 326 KB

english, 2009

32

Enforcing Concurrent Temporal Behaviors

Doron Peled, Hongyang Qu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 324 KB

english, 2005

33

QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS

ELKIND, EDITH, GENEST, BLAISE, PELED, DORON, SPOLETINI, PAOLA

Journal:

International Journal of Foundations of Computer Science

Year:

2010

Language:

english

File:

PDF, 764 KB

english, 2010

34

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 3707 || An EFSM-Based Intrusion Detection System for Ad Hoc Networks

Peled, Doron A., Tsay, Yih-Kuen

Year:

2005

Language:

english

File:

PDF, 390 KB

english, 2005

35

Synthesizing, correcting and improving code, using model checking-based genetic programming

Katz, Gal, Peled, Doron

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2016

Language:

english

File:

PDF, 735 KB

english, 2016

36

On commutativity based Edge Lean search

Dragan Bošnački, Edith Elkind, Blaise Genest, Doron Peled

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2009

Language:

english

File:

PDF, 442 KB

english, 2009

37

Core decompression and alendronate treatment of the osteonecrotic rat femoral head: computer-assisted analysis

Peled, Eli, Bejar, Jacob, Barak, Michal, Orion, Eyal, Norman, Doron

Journal:

International Journal of Experimental Pathology

Year:

2013

Language:

english

File:

PDF, 190 KB

english, 2013

38

Specification and Verification using Message Sequence Charts

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 125 KB

english, 2002

39

Priority scheduling of distributed systems based on model checking

Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis

Journal:

Formal Methods in System Design

Year:

2011

Language:

english

File:

PDF, 595 KB

english, 2011

40

Model-Checking of Correctness Conditions for Concurrent Objects

Rajeev Alur, Ken McMillan, Doron Peled

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 242 KB

english, 2000

41

A novel self-care biomechanical treatment for obese patients with knee osteoarthritis

Lubovsky, Omri, Mor, Amit, Segal, Ganit, Atoun, Ehud, Debi, Ronen, Beer, Yiftah, Agar, Gabriel, Norman, Doron, Peled, Eli, Elbaz, Avi

Journal:

International Journal of Rheumatic Diseases

Year:

2015

Language:

english

File:

PDF, 175 KB

english, 2015

42

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 9938 || Synchronous Products of Rewrite Systems

Artho, Cyrille, Legay, Axel, Peled, Doron

Year:

2016

Language:

english

File:

PDF, 235 KB

english, 2016

43

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1633 || Timed Automata

Halbwachs, Nicolas, Peled, Doron

Year:

1999

Language:

english

File:

PDF, 494 KB

english, 1999

44

[Lecture Notes in Computer Science] Model Checking and Artificial Intelligence Volume 5348 ||

Peled, Doron A., Wooldridge, Michael J.

Year:

2009

Language:

english

File:

PDF, 3.75 MB

english, 2009

45

Hyperbaric Oxygen for Stage I and II Femoral Head Osteonecrosis

Koren, Lior, Ginesin, Eyal, Melamed, Yehuda, Norman, Doron, Levin, Daniel, Peled, Eli

Journal:

Year:

2015

Language:

english

File:

PDF, 206 KB

english, 2015

46

[IEEE 2017 Formal Methods in Computer-Aided Design (FMCAD) - Vienna (2017.10.2-2017.10.6)] 2017 Formal Methods in Computer Aided Design (FMCAD) - First order temporal logic monitoring with BDDs

Havelund, Klaus, Peled, Doron, Ulus, Dogan

Year:

2017

Language:

english

File:

PDF, 144 KB

english, 2017

47

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || Statistical Model Checking of Black-Box Probabilistic Systems

Alur, Rajeev, Peled, Doron A.

Year:

2004

File:

PDF, 247 KB

2004

48

Automatic generation of path conditions for concurrent timed systems

Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 1.19 MB

english, 2008

49

Private Incarceration – Towards a Philosophical Critique

Yoav Peled, Doron Navot

Journal:

Year:

2012

Language:

english

File:

PDF, 506 KB

english, 2012

50

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || DPLL(T): Fast Decision Procedures

Alur, Rajeev, Peled, Doron A.

Year:

2004

Language:

english

File:

PDF, 211 KB

english, 2004

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски